formal push-down automaton

形式下推自動機